Merge pull request #898 from soby-mathew/sm/dcache-early
authordavidcunado-arm <[email protected]>
Fri, 21 Apr 2017 10:45:53 +0000 (11:45 +0100)
committerGitHub <[email protected]>
Fri, 21 Apr 2017 10:45:53 +0000 (11:45 +0100)
PSCI: Build option to enable D-Caches early in warmboot

1  2 
Makefile
docs/user-guide.md

diff --cc Makefile
Simple merge
Simple merge